<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" >
<title>Reference Documentation</title>

<link href="book.css" rel="stylesheet" type="text/css">
<link href="code.css" rel="stylesheet" type="text/css">
<link rel="home" href="00-Main.html" title="">
</head>
<body>
<a name="Xsemantics%20Documentation_12"></a>
<h1>Reference Documentation</h1>
<ol><li><a href="01-Introduction.html#Introduction">Introduction</a>
</li>
<li><a href="02-GettingStarted.html#GettingStarted">Getting Started</a>
<ol>	<li><a href="02-GettingStarted.html#Install">Installation of Xsemantics</a>
	<ol>	<li><a href="02-GettingStarted.html#Sources">Sources</a>
		</li>
	</ol></li>
	<li><a href="02-GettingStarted.html#UsingXsemantics">Using Xsemantics</a>
	</li>
	<li><a href="02-GettingStarted.html#UsingXsemanticsMaven">Using Xsemantics in Maven builds</a>
	</li>
</ol></li>
<li><a href="XsemanticsSyntax.html#Syntax">Xsemantics Syntax</a>
<ol>	<li><a href="XsemanticsSyntax.html#Imports">Imports</a>
	</li>
	<li><a href="XsemanticsSyntax.html#Copyright">Copyright</a>
	</li>
	<li><a href="XsemanticsSyntax.html#Fields">Fields</a>
	</li>
	<li><a href="XsemanticsSyntax.html#Judgments">Judgments</a>
	</li>
	<li><a href="XsemanticsSyntax.html#Premises">Premises</a>
	<ol>	<li><a href="XsemanticsSyntax.html#OrBlocks">Or Blocks</a>
		</li>
		<li><a href="XsemanticsSyntax.html#ExpressionsInPremises">Expressions in Premises</a>
		</li>
		<li><a href="XsemanticsSyntax.html#RuleInvocations">Rule Invocations</a>
		</li>
		<li><a href="XsemanticsSyntax.html#Environment">Rule Environment</a>
		</li>
		<li><a href="XsemanticsSyntax.html#ErrorSpecification">Error Specification</a>
		</li>
		<li><a href="XsemanticsSyntax.html#ExplicitFailure">Explicit Failure</a>
		</li>
		<li><a href="XsemanticsSyntax.html#PreviousFailure">Accessing Previous Failure of an Or Block</a>
		</li>
		<li><a href="XsemanticsSyntax.html#StringRepresentation">String Representation</a>
		</li>
		<li><a href="XsemanticsSyntax.html#GetAll">Graph Closures (getAll)</a>
		</li>
	</ol></li>
	<li><a href="XsemanticsSyntax.html#Auxiliary">Auxiliary Functions</a>
	</li>
	<li><a href="XsemanticsSyntax.html#CheckRules">Rules for Validator: checkrule</a>
	</li>
	<li><a href="XsemanticsSyntax.html#SystemExtension">Extend another System</a>
	</li>
	<li><a href="XsemanticsSyntax.html#CodeGeneration">Generated Code</a>
	<ol>	<li><a href="XsemanticsSyntax.html#GeneratedPackage">The Generated Java Packages</a>
		</li>
		<li><a href="XsemanticsSyntax.html#GeneratedSystem">The Generated Java Rule System</a>
		</li>
		<li><a href="XsemanticsSyntax.html#GeneratedValidator">The Generated Java Validator</a>
		<ol>	<li><a href="XsemanticsSyntax.html#validatorExtends">The validatorExtends clause</a>
			</li>
			<li><a href="XsemanticsSyntax.html#withoutValidatorExtends">Without the validatorExtends clause</a>
			</li>
		</ol></li>
		<li><a href="XsemanticsSyntax.html#ErrorGeneration">Error Marker Generation</a>
		</li>
	</ol></li>
	<li><a href="XsemanticsSyntax.html#Caching">Automatic Caching</a>
	</li>
</ol></li>
</ol></body>
</html>
